CONSTRUCTIVE METHODS IN PROGRAM VERIFICATION.WEGBREIT B.1977; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1977; VOL. 3; NO 3; PP. 193-209; BIBL. 17 REF.Article

GOAL-DIRECTED PROGRAM TRANSFORMATION.WEGBREIT B.1976; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1976; VOL. 2; NO 2; PP. 69-80; BIBL. 23 REF.Article

VERIFYING PROGRAM PERFORMANCE.WEGBREIT B.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 4; PP. 691-699; BIBL. 3 REF.Article

THE TREATMENT OF DATA TYPES IN EL1.WEGBREIT B.1974; COMMUNIC. A.C.M.; U.S.A.; DA. 1974; VOL. 17; NO 5; PP. 251-264; BIBL. 10 REF.Article

FASTER RETRIEVAL FROM CONTEXT TREES.WEGBREIT B.1976; COMMUNIC. A.C.M.; U.S.A.; DA. 1976; VOL. 19; NO 9; PP. 526-529; BIBL. 4 REF.Article

MECHANICAL PROGRAM ANALYSIS.WEGBREIT B.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 9; PP. 528-539; BIBL. 20 REF.Article

RETRIEVAL FROM CONTEXT TREES.WEGBREIT B.1975; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1975; VOL. 3; NO 4; PP. 119-120; BIBL. 11 REF.Article

PROCEDURE CLOSURE IN EL1.WEGBREIT B.1974; COMPUTER J.; G.B.; DA. 1974; VOL. 17; NO 1; PP. 38-43; BIBL. 16 REF.Article

THE VERIFICATION AND SYNTHESIS OF DATA STRUCTURES.SPITZEN J; WEGBREIT B.1975; ACTA INFORMAT.; ALLEM.; DA. 1975; VOL. 4; NO 2; PP. 127-144; BIBL. 13 REF.Article

A SYNTHESIZER OF INDUCTIVE ASSERTIONS.GERMAN SM WEGBREIT B.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 68-75; BIBL. 21 REF.Article

PROVING PROPERTIES OF COMPLEX DATA STRUCTURES.WEGBREIT B; SPITZEN J.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 2; PP. 389-396; BIBL. 26 REF.Article